14

Stateflow Diagrams in Circus

Year:
2009
Language:
english
File:
PDF, 477 KB
english, 2009
16

Unifying classes and processes

Year:
2005
Language:
english
File:
PDF, 1.57 MB
english, 2005
20

The Safety-Critical Java memory model formalised

Year:
2013
Language:
english
File:
PDF, 1.22 MB
english, 2013
23

Refinement-based verification of implementations of Stateflow charts

Year:
2014
Language:
english
File:
PDF, 1.92 MB
english, 2014
49

Compositional and local livelock analysis for CSP

Year:
2018
Language:
english
File:
PDF, 306 KB
english, 2018